A One Category Ontology
نویسنده
چکیده
An ontology is defined by its fundamental categories. Following Peter van Inwagen (2011), take divisions between fundamental categories to mark “real divisions between things” that determine the basic categorical structure of the world. Speaking metaphorically, the fundamental categorical structure of the world carves the world at its fundamental joints. The project of determining the fundamental categorical structure of the world descends (arguably) from Aristotle, who started by dividing the realm of being into at least two fundamental categories: the fundamental category of particulars, or the present-in, and the fundamental category of universals, or the said-of. This gives the world a certain sort of structure, built from things with two different natures, things with the nature of being a bearer of properties or being a particular, and things with the nature of being borne by particulars. This supports a two category ontology. The idea is that the world exhibits this fundamental distinction between natures, a distinction between individuals or bearers and the properties and relations these things bear. The notion of understanding the ontological structure of the world in terms of divisions between natures is also deeply embedded in the Lewisean notion of naturalness, and is extended in Theodore Sider’s (2012) view that the world has fundamental quantificational structure. I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative characters
منابع مشابه
IFF Category Theory Ontology
This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper Ontology (SUO). This SUO structural level can be used as a logical framework for manipulating collections of ontologies in the object level of the SUO or other middle level or domain ontologies. From the Information F...
متن کاملA Category Theoretic Model of RDF Ontology
Ontology languages are used in modelling the semantics of concepts within a particular domain and the relationships between those concepts. The Semantic Web standard provides a number of modelling languages that differ in their level of expressivity and are organized in a Semantic Web Stack in such a way that each language level builds on the expressivity of the other. There are several problem...
متن کاملFormalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the techniques used for finding the alignments, we use a category-theoretical model in which ontologies are the objects. We introduce a categorical structure, called V-alignment, made of a pair of morphisms with a common do...
متن کاملWhat Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
Ontology merging describes the process of integrating two (or more) ontologies into a single one. How this is done best is a subject of ongoing research in the Semantic Web community. We propose a generic solution to the question, what the result of a merging should be in the ideal case. We will do this independent of a specific choice of ontology representation language, and thus provide a sor...
متن کاملPredicting the Addition of New Concepts in a Topic Hierarchy
Ontologies often change through time, a process largely done manually by human editors. We discuss the task of automatically predicting when structural changes will occur in a given ontology. We first analyze the frequency of different types of structural changes in a large real-world ontology and then focus on the problem of predicting one specific type of structural change, namely the additio...
متن کامل